primrec($n$; $b$; $c$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ($n$ =$_{0}$ 0) then $b$ else $c$(($n$ {-} 1),primrec(($n$ {-} 1); $b$; $c$)) fi 
\\[0ex]\emph{(recursive)}